Dict(
	[12, 5, 9, 19, 16, 1, 1, 10, 1, 1] => QQFieldElem[256//9, 0, 0, 0])